<html>
<head><meta charset="utf-8"><title>remove RegionInferenceContext · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/remove.20RegionInferenceContext.html">remove RegionInferenceContext</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="184395450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/remove%20RegionInferenceContext/near/184395450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/remove.20RegionInferenceContext.html#184395450">(Dec 28 2019 at 23:20)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> <span class="user-mention" data-user-id="119009">@eddyb</span> So I've been looking at how to clean up <code>region_errors</code> and <code>region_name</code>.</p>



<a name="184395463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/remove%20RegionInferenceContext/near/184395463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/remove.20RegionInferenceContext.html#184395463">(Dec 28 2019 at 23:21)</a>:</h4>
<p><code>region_name</code> is easy, as most can be just made inherent impls on <code>MirBorrowckCtxt</code> instead of <code>RegionInferenceContext</code>, but <code>region_errors</code> is hard because it uses a lot of the fields of the <code>RegionInferenceContext</code></p>



<a name="184395505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/remove%20RegionInferenceContext/near/184395505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/remove.20RegionInferenceContext.html#184395505">(Dec 28 2019 at 23:22)</a>:</h4>
<p>So, I would like to get rid of <code>RegionInferenceContext</code> altogether and just put its fields in the <code>MirBorrowckCtxt</code>, but I'm not sure how to do that without using some sort of interior mutability...</p>



<a name="184395506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/remove%20RegionInferenceContext/near/184395506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/remove.20RegionInferenceContext.html#184395506">(Dec 28 2019 at 23:22)</a>:</h4>
<p>I would be interested in getting your thoughts. Does this seem like a reasonable plan? And if so, how would you go about it?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>